formal theory
英 [ˈfɔːml ˈθɪəri]
美 [ˈfɔːrml ˈθiːəri]
网络 形式理论; 形式论; 形式化理论; 规范理论; 形式理論
双语例句
- This article attempts to demonstrate my belief that you don't need to know a lot about formal parsing theory to be able to parse!
本文力图阐明我的理念：您并不需要了解很多有关正规的解析理论就能进行解析！ - Finally, we examine the relationship between abduction and probability with the hope of establishing a probability-based formal theory of abductive pragmatics.
最后，我们探讨了引理推理与概率的关系，期望建立以概率论为基础的形式化的引理语用学。 - There is no doubt that among Chomsky's syntax theories, Principles and Parameters Theory has been the most mature formal linguistics theory which has the largest explanatory power.
在乔姆斯基的句法理论中，管辖与约束理论的原则与参数系统可以说是迄今为止解释力最强，最成熟的形式句法理论，其重要性不言而喻。 - Historical Logic of Legal Formal Rationality Theory and Its Revelation
法律形式理性化的历史逻辑及其经验启示 - It is, in fact, the only extensive formal deductive theory of religion that I know of.
事实上，它是我知道的唯一的广泛的正式的，演绎的宗教理论。 - Active XML Rewriting Algorithm Based on Formal Language Theory
基于形式语言理论的ActiveXML重写算法 - It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。 - Formal Rule Theory, Mental Model Theory and Probability Theory in Conditional Reference: A Comparative Study of the Three Theories
形式规则、心理模型与概率理论&条件推理中三种理论模型的比较研究 - Author sums the blasting demolition of constructions up as two basic types, collapsing directionally or piece by piece, or their combination, and puts forward two kinds of formal theory on blasting demolition.
笔者把建筑物爆破拆除归纳成两种基本方式&定向倾倒和逐段塌落，或它们的结合，并提出了这两种爆破拆除方式的维象理论。 - The results showed: ( 1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formal rule theory.
结果发现：（1）空间位置和时间关系的推理结果都支持心理模型理论，而不支持形式规则理论。 - On the source of act duty, there exists a theoretic evolution process which has developed from formal theory to substantial theory, and then to combination of the above two.
关于作为义务的来源，在刑法理论上存在着从形式的作为义务理论到实质的作为义务理论再到形式与实质相统一的作为义务理论的演变过程。 - Recently, Formal methods which based on discrete mathematics and formal logic theory improve rapidly, and give a possible solution to safety assurance of complex computer system.
近年来，基于离散数学和形式逻辑理论的形式化方法发展迅速，为解决安全计算机系统设计开发的正确性问题提供了一条可能的途径。 - The formal theory for the reflection of sound waves
声波反射的形式理论 - This is strikingly different from formal linguistic theory which focuses on studying the relations between the linguistic units within the linguistic system.
这与将语言单位之间内部关系的研究放在首要位置的形式主义语言理论截然不同。 - Based on the formal theory of running coupling constant in QCD, the formation of function f(?) has been obtained, f(?)
本文在QCD的有效耦合常数形式理论的基础上，得到了这一理论中的函数f（g~（-2））的具体形式f（？） - Based on this model, the formal theory model of service composition based on finite state automata with condition cFSA is studied. The algebraic property and implementing method of the service composition model are studied.
在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型，并给出了该模型的代数性质和实现方法。 - Category and Type Logic Sequence is an important school dealing with cross study between language and logics in recent 30 years, and a formal semantic theory having great effect on the computerized process of natural languages.
范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派，是对自然语言的计算机处理影响很大的形式语义理论。 - A computation model, called procedure scheme, for convergent infinite computations was proposed, on the basis of classical Turing machine and formal theory sequences and their limits.
还基于经典计算模型图灵（Turing）机和形式系统序列及其极限，提出了收敛无穷计算的模型，称为过程模式。 - The first section, risk and securities corporation risk, as the introduction, expatiates the definition of financial risk and formal theory of it.
第一章风险与证券公司风险，从理论上阐述金融风险的定义和传统的金融风险形成原理。 - As the formal theory which studies how to seek optimal strategies for cooperation in economic conflicts, economic game theory provides a general operable structure pattern to analyze the dialectic relationship between economic competition and coordination.
经济博弈论是在经济领域中研究如何在冲突局势下寻求合作的最优策略的形式理论，它为分析经济中竞争与协同之间的辩证关系提供了一种普遍的可操作的结构模式。 - Combined with the problem of complicated schema design in Tianjin air craft maintaining base of Air China, an analytical method about same problems directed by formal theory and its PFC realization in PB are suggested in this paper.
结合国航天津分公司航修基地管理信息系统开发过程中遇到的复杂模式设计问题，本文给出了在规范化理论指导下同类问题的分析方法，并且给出了PB环境下的PFC实现。 - The classical congestion control algorithms for binary ABR service mainly based on heuristics and do not have a formal theory to support them, thus they have two drawbacks.
但是，传统的二进制ABR业务拥塞控制机制大多基于启发式法则而没有正式的理论支持，所以这些方法存在两个不足，一是队列长度和源端允许信元速率呈现振荡性； - Nonequilibrium statistical density operator(ⅱ)& an application of formal theory
非平衡统计密度算符（Ⅱ）&形式理论的应用 - The article's purposes is to deepen and comprehend the relation of form and content, apply formal grammatical theory in language teaching practice, advance understanding the contrastive analysis, normalize language form, accelerate bilingual study and interpret.
文章旨在深化和理解形式与内容的关系，将形式语法理论应用于语言教学实践，提高对语言对比理论的认识，规范语言形式，促进双语的学习和翻译。 - The algorithm proposed in this paper excels existing algorithms of this kind in performance via formal theory analysis and contrast in performance test.
通过形式化理论分析和性能测试，该算法能有效满足根据视频热门度变化来动态调整带宽消耗的需求，且在性能上优于现有同类算法。 - A new formal theory is proposed by extending set theory with in relation and intension structure.
为此，提出了一种新的形式理论，其在集合论的基础上增加了in关系和内涵结构。 - The idea and method of attitude measurement based on X-ray Pulsars are given by technology framework and Formal Theory description.
X射线脉冲星姿态测量的技术框架与形式化描述从总体上给出了X射线脉冲星姿态测量的理论思想与方法。 - Belief change is a formal theory to represent the dynamic evolvement rules of knowledge and belief. And, it is also an important field of computer software and theory research.
信念更新是刻画知识与信念动态演化规律的一种形式理论，是计算机软件与理论研究的重要内容。 - However, a good firm theory should be a fusion of formal scientific theory and live artistic practice.
然而，企业经济学不仅应当是规范的科学理论，而且更重要的应当是鲜活的艺术实践。